Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
541	06400/CAL BuyLine 4648 Campbellsville Aluminum Balustrades & Railings rF Add to Reading List Source URL: www.cvilleindustries.com Language: English - Date: 2005-07-06 05:32:27 Baluster Campbellsville Kentucky Software engineering ALGOL 68 Ring Architecture Stairways Programming language theory Architectural history
542	DRA FRONT END FILTER PROJECT Errors in the Specifications Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:36:50 Programming language theory Query languages Technical communication SQL Specification Select ALGOL 68 Join Computing SQL keywords Data management
543	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
544	Crystal Reports - Advanced National Competency Standard (ICA05): ICAB4136B Use structured query language to create database structures and manipulate data Objectives Add to Reading List Source URL: www.nda.com.au Language: English - Date: 2011-04-12 01:26:32 Procedural programming languages Cross-platform software Scripting languages AS/400 AS/400 Control Language Disk formatting ALGOL 68 C Parameter Computing Software engineering Programming language theory
545	ASN1C C/C++ Code Generation for 3GPP and LTE Specifications Objective Systems, Inc., December 2008 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2008-12-22 00:00:00 C programming language Data types C++ Procedural programming languages Type theory Typedef Struct Union C Computing Software engineering Computer programming
546	Scheme Type Recovery 1 1 Introduction Scheme is a latently typed language [R3RS]. This means that unlike statically typed languages such Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:16 Type theory Data types Functional languages Lisp programming language Cross-platform software Continuation-passing style Type safety Variable Common Lisp Software engineering Computing Programming language theory
547	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
548	Lemma 1 Ref: DS/FMU/FEF/020 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (II) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:00 Programming language theory Computer programming Standard ML ML Procedural programming languages Functional languages Software engineering
549	Microsoft Word - Simp&Comp.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:55:52 Holism Computer programming Diagrams Computational complexity theory Complex systems theory Complexity Programming language Subroutine Reduction Computing Theoretical computer science Software engineering
550	Transparent Parallelization of Binary Code Benoît Pradelle Alain Ketterlin Philippe Clauss Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:23 Compiler construction Software engineering Automatic parallelization Loop optimization Vectorization Code generation Parallel computing Schedule Polytope model Compiler optimizations Computing Programming language theory

UPDATE